منابع مشابه
XcelLog: a deductive spreadsheet system
The promise of rule-based computing was to allow end users to create, modify, and maintain applications without the need to engage programmers. But experience has shown that rule sets often interact in subtle ways, making them difficult to understand and reason about. This has impeded the wide-spread adoption of rule-based computing. This paper describes the design and implementation of XcelLog...
متن کاملThe MyYapDB Deductive Database System
We describe the MyYapDB, a deductive database system coupling the Yap Prolog compiler and the MySQL DBMS. We use our OPTYap extension of the Yap compiler, which is the first available system that can exploit parallelism from tabled logic programs. We describe the major features of the system, give a simplified description of the implementation and present a performance comparison of using stati...
متن کاملDES: A Deductive Database System
This work describes a novel implementation of a deductive database system which fills some gaps other systems do not. In fact, this system was born to this end and since its inception, many new features have been added (null values, outer joins, aggregates, ...). In particular, it embodies both Datalog and SQL query languages, where the same database can be queried. It enjoys an actual interact...
متن کاملDeductive Object-oriented Database System
DO is a deductive object oriented database developed at the National University of Singapore The system aims to integrate de ductive and object oriented paradigms and use their advantages to over come both the paradigms respective weaknesses DO di ers from con ventional deductive object oriented databases in its key based approach for OIDs pro active approach to resolving inheritance con icts a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2009
ISSN: 0029-4527
DOI: 10.1215/00294527-2009-013